x := proc(a) return := a end